From 2218020db95ad3f80ef39a9cd6f516de0f968023 Mon Sep 17 00:00:00 2001 From: Matthias Clasen Date: Fri, 1 Dec 2017 09:43:52 -0500 Subject: [PATCH] Fix the doc tools build --- docs/tools/widgets.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/tools/widgets.c b/docs/tools/widgets.c index 8e86962f91..9670edbaaa 100644 --- a/docs/tools/widgets.c +++ b/docs/tools/widgets.c @@ -1237,7 +1237,7 @@ create_headerbar (void) gtk_header_bar_set_subtitle (GTK_HEADER_BAR (bar), "(subtitle)"); gtk_window_set_titlebar (GTK_WINDOW (window), bar); button = gtk_button_new (); - gtk_container_add (GTK_CONTAINER (button), gtk_image_new_from_icon_name ("bookmark-new-symbolic", GTK_ICON_SIZE_BUTTON)); + gtk_container_add (GTK_CONTAINER (button), gtk_image_new_from_icon_name ("bookmark-new-symbolic")); gtk_header_bar_pack_end (GTK_HEADER_BAR (bar), button); return new_widget_info ("headerbar", window, ASIS); -- 2.30.2